Aplicação de QFD integrando o modelo de akao e o modelo QFD estendido

Aspectos sociotécnicos da computação: contextualizando o desenvolvimento de sistemas de computação com o modelo Mikropolis

This paper discusses the need of considering sociotechnical aspects in the scientific and professional practice of computing. In the pursuit of this goal, the paper firstly places the research on sociotechnical aspects of computing in a historical context and outlines the current research scenario in the area. Subsequently, the Mikropolis Model is explained—a model developed to provide orientat...

Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs

This paper explores the use of traditional formal methods of software engineering for the formal specification of multiagent systems organizations. In particular, the CSP and RSL languages are used to represent the PopOrg organizational model, the first being used to specify parts of the micro-organizational level of PopOrg systems (behaviors of organizational roles and exchange processes betwe...

Controle De Robôs Móveis Utilizando O Modelo Cinemático

This work presents the stability proof for the mobile robot kinematic controller, where the guidance point is different from the medium point of wheel axis. The proof is based on the Lyapunov second method. Simulation results assert the theoretical development.

Aplicação do modelo de Hull-White a precificação de opções sobre IDI

Desenvolvimento de Sistemas de Informação Geográfica Cooperativos seguindo o Padrão Modelo-Visão-Controle

This paper introduces a strategy to develop geographic information systems, based on a variant of the Model-View-Controller (MVC) design pattern. The strategy adopts ontologies to model user classes and to capture additional characteristics of the information classes. The MVC components are modified to implement cooperativeness techniques, which interpret the ontologies. The paper also describe...